Make overlay scrollbar fading interruptible

When the pointer starts hovering the scrollbar after it already
started fading out, interrupt the fade and keep the scrollbar
around.

diff --git a/gtk/gtkscrolledwindow.c b/gtk/gtkscrolledwindow.c
index 4ca59a71c269dcd1cf1c236269dd1b743509a8c3..afaf69f43b09b0b81bdd2bf04ca6b7bf4b41f2e0 100644 (file)
--- a/gtk/gtkscrolledwindow.c
+++ b/gtk/gtkscrolledwindow.c
@@ -3519,6 +3519,7 @@ indicator_enter_notify (GtkWidget        *scrollbar,
   gtk_style_context_add_class (context, "hovering");
   gtk_widget_queue_resize (scrollbar);
   indicator->over = TRUE;
+  indicator_start_fade (indicator, 1.0);
 
   return G_SOURCE_CONTINUE;
 }